complete formula of sets